1

Model Checking with Strong Fairness

Year:
2006
Language:
english
File:
PDF, 407 KB
english, 2006
3

Verification of clocked and hybrid systems

Year:
2000
Language:
english
File:
PDF, 688 KB
english, 2000
6

Verification by Augmented Finitary Abstraction

Year:
2000
Language:
english
File:
PDF, 556 KB
english, 2000
7

Bridging the gap between fair simulation and trace inclusion

Year:
2005
Language:
english
File:
PDF, 433 KB
english, 2005
9

A compositional approach to verification

Year:
2005
Language:
english
File:
PDF, 452 KB
english, 2005